Smooth Orchestrators
نویسندگان
چکیده
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechanism that may express standard workflow patterns in Web services as well as common synchronization constructs in programming languages. Smooth orchestrators may be created in one location and migrated to a different one, still not manifesting problems that usually afflict generic mobile agents. We encode an extension of Milner’s (asynchronous) pi calculus with join patterns into a calculus of smooth orchestrators and we yield a strong correctness result (full abstraction) when the subjects of the join patterns are co-located. We also study the translation of smooth orchestrators into finite-state automata, therefore addressing the implementation of co-location constraints and the case when synchronizations are not linear with respect to subjects.
منابع مشابه
Asthma: Eosinophil Disease, Mast Cell Disease, or Both?
: Although there is much circumstantial evidence implicating eosinophils as major orchestrators in the pathophysiology of asthma, recent studies have cast doubt on their importance. Not only does anti-interleukin-5 treatment not alter the course of the disease, but some patients with asthma do not have eosinophils in their airways, whereas patients with eosinophilic bronchitis exhibit a florid ...
متن کاملOrchestration in ICT-enabled Business Networks: A Case in the Repairs Industry
Although business network orchestration has been widely studied in the literature, this paper calls for more research to understand the management and use of the ICT that supports the relationships of business networks. The aim of the paper is to explore existing and new functions attributed to orchestrators in ICT-enabled business networks, as well as examine the effects of orchestrators’ acti...
متن کاملSymbolic test case generation for testing orchestrators in context. (Génération des cas de tests symboliques pour tester des orchestrateurs en contexte)
متن کامل
Orchestrated session compliance
We investigate the notion of orchestrated compliance for client/server interactions in the context of session contracts. Devising the notion of orchestrator in such a context makes it possible to have orchestrators with unbounded buffering capabilities and at the same time to guarantee any message from the client to be eventually delivered by the orchestrator to the server, while preventing the...
متن کاملAbstract Processes in Orchestration Languages
Processes in Orchestration Languages Maria Grazia Buscemi1 and Hernán Melgratti2 1 IMT Lucca Institute for Advanced Studies, Italy [email protected] 2 FCEyN, University of Buenos Aires, Argentina [email protected] Abstract. Orchestrators are descriptions at implementation level and may contain sensitive information that should be kept private. Consequently, orchestration languages come equi...
متن کامل